end sequent перевод

end: 1) конец, окончание Ex: happy end счастливый конец; счастливая развязка Ex: to put an end to smth. положить конец чему-либо, покончить с чем-либо Ex: to put an end to an argument положить конец спор
sequent: 1) следующий, последовательный, идущий по порядку Ex: sequent events цепь событий2) являющийся следствием
cognate sequent: сходная секвенция
derivable sequent: мат. выводимая секвенция
explicit sequent: мат. явная секвенция
implicit sequent: мат. неявная секвенция
lower sequent: мат. нижняя секвенция
negative sequent: мат. негативная секвенция
positive sequent: мат. позитивная секвенция
prenex sequent: мат. предваренная секвенция
provable sequent: мат. доказуемая секвенция
regular sequent: мат. регулярная секвенция
sequent calculus: Исчисление секвенций
true sequent: мат. истинная секвенция
upper sequent: мат. верхняя секвенция